General
General is the default package registry for the Julia programming language, providing the foundation for Julia�s package manager, Pkg.jl. It stores essential i
Enter
Biogenesis Color Mod
You can download the Color Mod at the Biogenesis main site too (included in the main download now). You also find the sourcecode there. If you want to post a r
Enter
General purpose PHP SOAP-client
Sick and tired of building crappy SOAP implementations? This package aims to help you with some common SOAP integration pains in PHP. Its goal is to make integ
Enter
General catalogue of e-books
General catalogue of e-books is a curated repository that collects links and resources for freely available technical and programming books, with a focus on hi
Enter
Dasar Pemrograman Golang
Goal, or Go is a programming language that was born in 2009. The goal has many advantages, as evidenced by a large number of large companies using this languag
Enter
Loomio
Making important decisions is critical for any business or organization to succeed. However, making wise decisions as a group can be quite the challenge, espec
Enter
SciML Style Guide for Julia
The SciML Style Guide is a style guide for the Julia programming language. It is used by the SciML Open Source Scientific Machine Learning Organization. As suc
Enter
huihut interview
interview is a curated repository of technical interview questions, solutions, and explanations covering a wide range of topics in computer science and softwar
Enter
go-best-practice
go-best-practice is essentially a Go book and code collection called �Go ????� (�Go in Practice�), born from the idea of building over 100 practical projects i
Enter
Ruby
A dynamic, open source programming language with a focus on simplicity and productivity. It has an elegant syntax that is natural to read and easy to write. Ru
Enter
Logstash Logback Encoder
Provides log back encoders, layouts, and appenders to log in JSON and other formats supported by Jackson. Supports both regular LoggingEvents (logged through a
Enter
Real-ESRGAN
Real-ESRGAN is a highly popular open-source project that provides practical algorithms for general image and Video restoration using deep learning-based super-
Enter
ClojureScript
ClojureScript is a compiler for Clojure that targets JavaScript. It is designed to emit JavaScript code which is compatible with the advanced compilation mode
Enter
GLM-4.5V
GLM-4.5V is the preceding iteration in the GLM-V series that laid much of the groundwork for general multimodal reasoning and vision-language understanding. It
Enter
LGames
LGames is a collection of neat, good-looking and addictive open source games for Linux and Windows. Some projects included are: LBreakout - Arkanoid / Breakout
Enter
ngx_brotli
ngx_brotli is a set of two Nginx modules developed by Google that enable Brotli compression for web content delivery. Brotli is a modern, general-purpose, loss
Enter
jsdom
jsdom is a pure-JavaScript implementation of many web standards, notably the WHATWG DOM and HTML Standards, for use with Node.js. In general, the goal of the p
Enter
Best-of Machine Learning with Python
This curated list contains 900 awesome open-source projects with a total of 3.3M stars grouped into 34 categories. All projects are ranked by a project-quality
Enter
TRAK UML Profile
UML (TRAK) and SysML (TRAK_SYSML) profiles for the TRAK open source architecture framework that provides the objects and relationships needed for implementatio
Enter
OpenSpiel
OpenSpiel is a collection of environments and algorithms for research in general reinforcement learning and search/planning in games. OpenSpiel supports n-play
Enter
Cubic 11
Lifang 11 is an open-source traditional Chinese dot matrix font derived from M? gothic 12r, which can be used in pixel-style games and art. This font is based
Enter
HTTP
This crate is a general purpose library for common types found when working with the HTTP protocol. You�ll find Request and Response types for working as eithe
Enter
PackageCompiler
Julia is, in general, a "just-barely-ahead-of-time" compiled language. When you call a function for the first time, Julia compiles it for precisely the
Enter
tree-sitter
Tree-sitter is a parser generator tool and an incremental parsing library. It can build a concrete syntax tree for a source file and efficiently update the syn
Enter
Sphinx
Sphinx is a tool that makes it easy to create intelligent and beautiful documentation, written by Georg Brandl and licensed under the BSD license. It was origi
Enter
Heartbleed
Heartbleed contains a compact, purpose-built implementation for detecting the infamous Heartbleed vulnerability in OpenSSL�s TLS heartbeat extension (CVE-2014-
Enter
Doodle
Doodle helps you create beautiful, modern apps entirely in Kotlin. Its render model is intuitive yet powerful, making it easy to achieve complex UIs with pixel
Enter
Google Mobile Ads Unity Plugin
The Google Mobile Ads SDK is the latest generation in Google mobile advertising featuring refined ad formats and streamlined APIs for access to mobile ad netwo
Enter
Optimizer_sovkov
We present the package Optimizer, aimed at constructing and optimizing general mathematical models of phenomena of versatile nature. It is written in the Matla
Enter
Kimi K2
Kimi K2 is Moonshot AI�s advanced open-source large language model built on a scalable Mixture-of-Experts (MoE) architecture that combines a trillion total par
Enter
jCLS
WARNING: This project is under hard development and not intended for productive use yet but only for discussion. jCLS helps to create and maintain fine detaile
Enter
reko
Reko (Swedish: "decent, obliging") is a decompiler for machine code binaries. This project is freely available under the GNU General Public License. Th
Enter
Libros de Programaci�n en Espa�ol
Libros de Programaci�n en Espa�ol is a curated list of free programming books in Spanish, organized by topic and technology so learners can find high-quality m
Enter
PySimpleGUI_Designer
GUI aid for designing PySimpleGUI screens and automation of layout code for the most common PySimpleGUI elements(Excel,LibreOffice & Python). The produced
Enter
Pluto
Kubernetes sometimes deprecates API versions. Most notably, a large number of deprecations happened in the 1.16 release. This is fine, and it's a fairly ea
Enter
LLM Action
LLM-Action is a knowledge/tutorial/repository that shares principles, techniques, and real-world experience related to large language models (LLMs), focusing o
Enter
WxJava
WeChat develops Java SDK, supports back-end development including WeChat payment, open platform, small program, enterprise WeChat, official account, etc. For p
Enter
Iris
Iris is a LabVIEW package, developed at the Keller Lab (Basel FMI), for running 2-photon microscopes. It is supplied with auxiliary software for recording addi
Enter
Fabric API
Essential hooks for modding with Fabric. Fabric API is the library for essential hooks and interoperability mechanisms for Fabric mods. Examples include exposi
Enter
gopkg
gopkg is a large community-driven repository of examples for Go�s standard library packages, created to fill the gap left by the relatively sparse official exa
Enter
Upvote RSS
Upvote RSS is a flexible, open-source tool for generating customizable RSS feeds from discussion platforms such as Reddit, Hacker News, Lemmy, Lobste.rs, PieFe
Enter
Geo Arbores
Geo Arbores is a project for developing tools and extensions for the GIS software OpenJUMP. Features: The aim of GeoArbores is the development and deployment o
Enter
Magnetar Quantum Vacuum Engineering
# Stellaris QED Engine ### Quantum Vacuum Engineering for Extreme Astrophysical Environments **A fully functional, real-time, closed-loop simulation of magneta
Enter
Open Collective
The opencollective/opencollective repository serves as the coordination hub for Open Collective�s open-source ecosystem, acting primarily as the central place
Enter
Vector Element
Protect the most sensitive parts of your organization; from senior executive discussion to intellectual property and cybersecurity. An entire communications pl
Enter
Python Interview Bible
Python-Interview-Bible is a curated set of interview notes, Q&A, and code snippets aimed at helping candidates prepare efficiently for Python roles. It org
Enter
Breakpad
Breakpad is an open source crash reporting system developed by Google that provides both client and server components to capture, analyze, and report software
Enter
Russh
Russh provides a Rust library for implementing SSH clients and servers with a modern, async-friendly design. It exposes building blocks for authentication, cha
Enter
free-for.dev
free-for-dev is a long-running, community-curated catalog of services that offer free tiers useful to developers, students, makers, and small teams. The list s
Enter
System Design Primer
System Design Primer is a curated, open source collection of resources that helps engineers learn how to design large-scale systems. The project is structured
Enter
Awesome Privacy
Awesome Privacy is a curated directory of privacy-respecting alternatives to mainstream apps and services, organized across many categories like browsers, sear
Enter
Containers Roadmap
This repository is a public forum for the AWS Containers team to share plans, gather feedback, and track progress for services like Amazon ECS, EKS, Fargate, E
Enter
The Open Guide to Equity Compensation
The Open Guide to Equity Compensation is a plain-English handbook that explains how startup equity works for employees and founders. It walks through stock opt
Enter
Learning-SICP
Learning-SICP is a community project that localizes the MIT course �Structure and Interpretation of Computer Programs� (SICP) and curates complementary study m
Enter
TRAK Architecture Framework
TRAK is a general systems-thinkers'/system-centric architecture framework. It is simple, user-friendly, pragmatic and not limited to IT. TRAK has won an IN
Enter
JCLF
A library of general utility classes for the Java(tm) programming language, including: enhanced replacements for common utilities like StringTokenizer or Prope
Enter
Haris Editor
Haris Editor - ??? ???? Simple text editor for programmer, general user and sql editor in Windows. Support English and Japanese Editor. Search, Copy Paste, Lin
Enter
MDN data
This repository contains general data for Web technologies and is maintained by the MDN team at Mozilla. Features: Contains data about CSS at-rulesThe l10n fol
Enter
LibChecker
This app is used to view the third-party libraries used by applications in your device. It can view the ABI architecture of the application's native librar
Enter
ReVanced Patches
Patches are small modifications to Android apps that allow you to change the behavior of or add new features, block ads, customize the appearance, and much mor
Enter
RECOIL
Retro Computer Image Library decodes Amiga, Amstrad CPC, Apple II, Atari 8-bit, Atari Portfolio, Atari ST/TT/Falcon, BBC Micro, Commodore 64, Commodore 16/116/
Enter
uSDR
uSDR is a general purpose multimode software defined radio receiver Windows application. "u" (?) means micro becuase of lightweight binaries distributi
Enter
fileo
The aim of this file manager to work rather with your documents of any type, preferably that can be open within you system, than with files in general. It allo
Enter
Seagull Programming Language
Seagull is a modern and user friendly programming language which compiles to Fortran. It is meant to bring the speed of Fortran to the area of general purpose
Enter
FuzPad
FuzPad is a minimalistic note management solution powered by `fzf`. It is implemented entirely in Shell script, making it lightweight and efficient for users w
Enter
LaTeX Template for Scientific Theses
LaTeX template for Master, Bachelor, Diploma, and Student Theses. This template is a general template for scientific theses. Currently, it is the unofficial La
Enter
Gwyddion
A data visualization and processing tool for scanning probe microscopy (SPM, i.e. AFM, STM, MFM, SNOM/NSOM, .) and profilometry data, useful also for general i
Enter
Triad Hand Duel
This is the fun game TRIAD HAND DUEL. Nine cards. Player selects one card. PC selects one card. The winner will be determined according to the following rules
Enter
GitHub Actions Runner Images
This repository contains the source code used to create the VM images for GitHub-hosted runners used for Actions, as well as for Microsoft-hosted agents used f
Enter
SpotBugs
SpotBugs is a program that uses static analysis to look for bugs in Java code. It is free software, distributed under the terms of the GNU Lesser General Publi
Enter
WeeChat
The extensible chat client. Full-featured IRC plugin: multi-servers, proxy support, IPv6, SASL authentication, nicklist, DCC, and many other features. 256 colo
Enter
mailcow
With the Nightly Branch, it is now possible to use an external Identity Provider as an additional authentication source. mailcow utilizes the OIDC (OpenID Conn
Enter
CXX
CXX is a library that offers safe interop between Rust and C++. It provides a safe mechanism for calling C++ code from Rust and vice versa, one that is protect
Enter
LMC_by_alexiskappa
LMC_by_alexiskappa is an educational/fun program to view and learn the Little Man Computer concept in action. Little Man Computer models the von Neumann archit
Enter
VARLET
Varlet UI is a Material design component library developed based on Vue3, supporting mobile and desktop, developed and maintained by varletjs organization. Sup
Enter
SolidInvoice
SolidInvoice is a simple open source general billing manager/ invoicing application made for small businesses and freelancers. It helps you manage clients, con
Enter
Best-of Web Development with Python
This curated list contains 570 awesome open-source projects with a total of 2.4M stars grouped into 26 categories. All projects are ranked by a project-quality
Enter
XState
JavaScript and TypeScript finite state machines and statecharts for the modern web. Statecharts are a formalism for modeling stateful, reactive systems. This i
Enter
Hugo Theme Stack
Card-style Hugo theme designed for bloggers. Stack is a simple card-style Hugo theme designed for bloggers, some of its features are responsive images support,
Enter
Ring Programming Language
Simple and flexible programming language for applications development. Ring is a practical general-purpose multi-paradigm language. The supported programming p
Enter
Universe
Universe is a software platform for measuring and training an AI's general intelligence across the world's supply of games, websites and other applicat
Enter
The Julia Programming Language
Julia is a fast, open source high-performance dynamic language for technical computing. It can be used for data visualization and plotting, deep learning, mach
Enter
labwc
Labwc is a wlroots-based window-stacking compositor for Wayland, inspired by Openbox. It is light-weight and independent with a focus on simply stacking window
Enter
node-hid
node-hid supports Node.js v6 and upwards. For versions before that, you will need to build from source. The platforms, architectures and node versions node-hid
Enter
Npgsql
Npgsql is an open source ADO.NET Data Provider for PostgreSQL, it allows programs written in C#, Visual Basic, F# to access the PostgreSQL database server. It
Enter
Toolbox
Piotr�s Image & Video MATLAB Toolbox is a general-purpose MATLAB toolbox for image and Video processing and vision tasks, offering utilities, filters, dete
Enter
cpp-httplib
A C++11 single-file header-only cross-platform HTTP/HTTPS library. It's extremely easy to setup. Just include the httplib.h file in your code! This is a mu
Enter
OctoPrint
Control and monitor every aspect of your 3D printer and your printing jobs right from within your browser. OctoPrint's powerful plugin system allows extend
Enter
cat-catch
cat-catch is a resource sniffing extension that can help you filter and list resources on the current page. Maozha is open source. Anyone can download and modi
Enter
Git
Git is a free, distributed version control system created by Linus Torvalds in 2005 to manage the development of the Linux kernel. It emphasizes speed, data in
Enter
Audacity
Audacity is a free, easy-to-use, multi-track audio editor and recorder for Windows, Mac OS X, GNU/Linux and other operating systems. Audacity is free software,
Enter
Accouting Excel
Accounting Excel is a MS Excel Vba free open source software awarded as Comminity Choice by sourceforge.net. Any password you may use at login screen. First ch
Enter
Npgsql Entity Framework Core PostgreSQL
Npgsql.EntityFrameworkCore.PostgreSQL is the open source EF Core provider for PostgreSQL. It allows you to interact with PostgreSQL via the most widely-used .N
Enter
fzf
fzf is a general-purpose command-line fuzzy finder. It's an interactive Unix filter for command-line that can be used with any list; files, command history
Enter
Flame
Flame is a modular Flutter game engine that provides a complete set of out-of-the-way solutions for games. It takes advantage of the powerful infrastructure pr
Enter
better-sqlite3
The fastest and simplest library for SQLite3 in Node.js. Full transaction support. High performance, efficiency, and safety. Easy-to-use synchronous API (bette
Enter
phantomcollect
PhantomCollect is an advanced educational web data collection framework built for ethical cybersecurity research and privacy analysis. It runs a local web serv
Enter
ELENA Programming Language
ELENA is a general-purpose, pure object-oriented language with late binding. It promotes more object-oriented program design, reusable and more standardized co
Enter
Codeflash
Codeflash is a general-purpose optimizer for Python that uses advanced large language models (LLMs) to automatically generate, test, and benchmark multiple opt
Enter
ngx-quill
ngx-quill is an angular (>=2) module for the Quill Rich Text Editor containing all components you need. It is possible to set custom default modules and Quill
Enter
Valkey GLIDE
Valkey General Language Independent Driver for the Enterprise (GLIDE), is an open-source Valkey client library. Valkey GLIDE is one of the official client libr
Enter
Binaryen
Binaryen is a compiler and toolchain infrastructure library for WebAssembly, written in C++. It aims to make compiling to WebAssembly easy, fast, and effective
Enter
Free Invoicing Software for Auto Shops
This is an sample/learning/functional Invoicing program written in vba and MS-Access. It is for a small, or personal, Auto Repair type business. It should give
Enter
python-binance
This is an unofficial Python wrapper for the Binance exchange REST API v3. I am in no way affiliated with Binance, use at your own risk. Implementation of all
Enter
Satori
Enlightened library to convert HTML and CSS to SVG. Satori supports the JSX syntax, which makes it very straightforward to use. Satori will render the element
Enter
NG-ALAIN
An Antd-based mid-backend front-end solution that provides more general business modules, allowing developers to focus more on business. In line with Ant Desig
Enter
Devise
Devise is a flexible authentication solution for Rails that is based on Warden, a general Rack authentication framework. It is a complete MVC solution based on
Enter
Seed7
Interpreter, compiler, libraries, documentation and examples for the Seed7 programming language. Seed7 is a general purpose programming language. It is a highe
Enter
NelmioApiDocBundle
The NelmioApiDocBundle bundle allows you to generate documentation in the OpenAPI (Swagger) format and provides a sandbox to interactively experiment with the
Enter
MIDI Visualizer
MIDIVisualizer is a cross-platform application that renders real-time visualizations of MIDI files using OpenGL. Inspired by the look of rhythm games and piano
Enter
Brotli
Version 1.0.9 contains a fix to "integer overflow" problem. This happens when "one-shot" decoding API is used (or input chunk for streaming API
Enter
ShowDoc
When we take over a module or project which has been developed by others, we always feel crazy watching at the codes without notes or comments. Programmers oft
Enter
Bottlerocket OS
Bottlerocket is a free and open-source Linux-based operating system meant for hosting containers. Bottlerocket focuses on security and maintainability, providi
Enter
pipx
pipx is a tool to help you install and run end-user applications written in Python. It's roughly similar to macOS's brew, JavaScript's npx, and Lin
Enter
TorchDistill
torchdistill (formerly kdkit) offers various state-of-the-art knowledge distillation methods and enables you to design (new) experiments simply by editing a de
Enter
SentenceTransformers
SentenceTransformers is a Python framework for state-of-the-art sentence, text and image embeddings. The initial work is described in our paper Sentence-BERT:
Enter
DataQualityDashboard
The goal of the Data Quality Dashboard (DQD) project is to design and develop an open-source tool to expose and evaluate observational data quality. This packa
Enter
AWESOME DATA SCIENCE
An open source Data Science repository to learn and apply towards solving real world problems. This is a shortcut path to start studying Data Science. Just fol
Enter
Resque
Resque is a Redis-backed Ruby library for creating background jobs, placing them on multiple queues, and processing them later. Resque (pronounced like "re
Enter
Ccache
Ccache is a compiler cache. It speeds up recompilation by caching previous compilations and detecting when the same compilation is being done again. Ccache is
Enter
Agno
Agno is a modular, open-source artificial general intelligence (AGI) research platform that allows developers to build, evaluate, and experiment with cognitive
Enter
wgpu
wgpu is a safe and portable graphics library for Rust based on the WebGPU API. It is suitable for general purpose graphics and compute on the GPU. Applications
Enter
KOTS
Replicated KOTS is the collective set of tools that enable the distribution and management of Kubernetes Off-The-Shelf (KOTS) software. The Kots CLI (a Kubectl
Enter
yq
yq is a portable and lightweight command-line YAML processor. It can be likened to projects like jq (a command-line JSON processor) or sed but for YAML files.
Enter
tigerbeetle
TigerBeetle is production-ready on Linux and seamlessly integrated with major programming languages. TigerBeetle is a financial transactions database designed
Enter
Tinn-R
The Tinn-R is an open source (GNU General Public License) project. It is an editor/word processor ASCII/UNICODE generic for the Windows operating system, very
Enter
Nebular
Nebular is a customizable Angular UI library that contains 40+ UI components, four visual themes, and Auth and Security modules. Recognized at the prestigious
Enter
Agent Zero
Agent Zero is not a predefined agentic framework. It is designed to be dynamic, organically growing, and learning as you use it. Agent Zero is fully transparen
Enter
MsQuic
MsQuic is a Microsoft implementation of the IETF QUIC protocol. It is cross-platform, written in C and designed to be a general-purpose QUIC library. MsQuic al
Enter
IOPaint
IOPaint is a powerful open-source image editing tool focused on inpainting, outpainting, object removal, and general image manipulation driven by state-of-the-
Enter
Gobot
Gobot makes controlling robots and devices incredibly simple and fun. This program connects to an Arduino, and toggles an LED, every one second. Support for de
Enter
HaLVM
HaLVM is a Haskell-based unikernel system that lets you write entire virtual machines in Haskell and run them directly on a hypervisor, traditionally Xen. Inst
Enter
Applewood Computers Accounting System
ACAS contains Sales, Purchase and Nominal Ledgers (Accounts Receivable, Payable and General Ledgers) as well as Stock Control (Inventory Control) along with IR
Enter
Racket
Racket is a general-purpose programming language and an ecosystem for language-oriented programming. This repository holds the source code for the core of Rack
Enter
bleve
Import one package, build an index with three lines of code, query for documents with another three lines. Bleve includes general-purpose analyzers as well as
Enter
Context Engineering Template
Context Engineering Template is a comprehensive template and workflow repository designed to teach and implement context engineering, a structured approach to
Enter
Chyrp Lite
Chyrp Lite makes it possible to host a blog on your own web server with minimal fuss. You can have a traditional blog, a tumble blog, or you can add oodles of
Enter
OPUS
Opus (not to be confused with the audio codec) is a JavaScript library aimed at simplifying certain common tasks, though depending on context the exact scope m
Enter
gitoxide
An idiomatic, lean, fast & safe pure Rust implementation of Git. gix is a command-line interface (CLI) to access git repositories. It's written to opti
Enter
CTranslate2
CTranslate2 is a C++ and Python library for efficient inference with Transformer models. The project implements a custom runtime that applies many performance
Enter
Claude Code Action
Claude Code Action is a general-purpose GitHub Action that brings Anthropic�s Claude Code into pull requests and issues to answer questions, review changes, an
Enter
PakType - Pakistani Typography
PakType is a collection of Unicode based open source OpenType fonts supporting Arabic Script under the terms of the GNU General Public License as published by
Enter
FinGPT
FinGPT is an open-source, finance-specialized large language model framework that blends the capabilities of general LLMs with real-time financial data feeds,
Enter
LXD
LXD is a next-generation system container and virtual machine manager. It offers a unified user experience around full Linux systems running inside containers
Enter
RefineNet
RefineNet is a MATLAB-based framework for semantic image segmentation and general dense prediction tasks. It implements the architecture presented in the CVPR
Enter
DINOv2
DINOv2 is a self-supervised vision learning framework that produces strong, general-purpose image representations without using human labels. It builds on the
Enter
CityHash
CityHash is a family of non-cryptographic hash functions optimized for extremely fast and high-quality hashing of strings on modern CPUs. Developed by Google,
Enter
ImageReward
ImageReward is the first general-purpose human preference reward model (RM) designed for evaluating text-to-image generation, introduced alongside the NeurIPS
Enter
VibeThinker
VibeThinker is a compact but high-capability open-source language model released by WeiboAI (Sina AI Lab). It contains about 1.5 billion parameters, far smalle
Enter
CogVLM
CogVLM is an open-source visual�language model suite�and its GUI-oriented sibling CogAgent�aimed at image understanding, grounding, and multi-turn dialogue, wi
Enter
AI Runner
AI Runner is an offline inference engine designed to run a collection of AI workloads on your own machine, including image generation for art, real-time voice
Enter
GLM-130B
GLM-130B is an open bilingual (English and Chinese) dense language model with 130 billion parameters, released by the Tsinghua KEG Lab and collaborators as par
Enter
Parser for Rust source code
Parser for Rust source code is a major Rust crate for parsing Rust source code (token streams) into a syntax tree (AST) that procedural macros can inspect or t
Enter
LAMDA
Android reverse engineering & automation framework. The most powerful Android capture/reverse/HOOK & cloud phone/remote desktop/automation framework in
Enter
Real-ESRGAN ncnn Vulkan
Real-ESRGAN ncnn Vulkan is an optimized, cross-platform implementation of Real-ESRGAN using the ncnn neural network inference engine and Vulkan for hardware ac
Enter
Browser diet
Browser diet is a community-driven front-end performance guide presented as a fun, colorful website that explains how to make web pages faster and �lighter.� I
Enter
The Arcade Learning Environment
Arcade Learning Environment (ALE) is a widely used open-source framework that wraps hundreds of Atari 2600 games via an emulator and presents them as RL enviro
Enter
SEO Panel - A control panel for SEO
An Award Winning and complete open source seo control panel for managing search engine optimization of your websites. Seo Panel is a seo tool kit includes late
Enter
DeepSeekMath-V2
DeepSeekMath-V2 is a large-scale open-source AI model designed specifically for advanced mathematical reasoning, theorem proving, and rigorous proof verificati
Enter
TRAK Metamodel
The definition of the metamodel for TRAK (defines allowed AD elements and relationships i.e. tuples/ triples for the TRAK viewpoints and views). TRAK is a gene
Enter
GnuCOBOL
GnuCOBOL (formerly OpenCOBOL) is a free, modern COBOL compiler. GnuCOBOL implements a substantial part of the COBOL 85, X/Open COBOL and newer ISO COBOL standa
Enter
TRAK Viewpoints
The architecture viewpoints (specifications for architecture views iaw ISO 42010) for TRAK. TRAK is a general systems-thinkers'/system engineering enterpri
Enter
